home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group93a.txt / 000044_icon-group-sender _Tue Jan 26 20:56:15 1993.msg < prev    next >
Internet Message Format  |  1993-04-21  |  2KB
  1. Received: by cheltenham.cs.arizona.edu; Wed, 27 Jan 1993 05:11:41 MST
  2. Path: ucbvax!agate!doc.ic.ac.uk!uknet!edcastle!eddie
  3. From: eddie@castle.ed.ac.uk (Eddie Corns)
  4. Newsgroups: comp.lang.icon
  5. Subject: Re: Rremoving entab/detab from Icon
  6. Message-Id: <30836@castle.ed.ac.uk>
  7. Date: 26 Jan 93 20:56:15 GMT
  8. References: <556329@MTS.cc.Wayne.edu>
  9. Organization: Edinburgh University
  10. Lines: 19
  11. Apparently-To: icon-group@cs.arizona.edu
  12. Status: R
  13. Errors-To: icon-group-errors@cs.arizona.edu
  14.  
  15.  
  16. Surely the best person to decide whether a feature should be in the library or
  17. the language itself should be the end user.  Can we not think up some scheme
  18. whereby those who don't need the overheads or whatever of unwanted features
  19. can remove them.  Things like entab and friends could be supplied as part of a
  20. standard library and also in the language.  If some way of removing them from
  21. the language (or conversely building extra functions into the language) could
  22. be found then we have the best of all possible worlds.  Just a thought.
  23.  
  24. This is similar to debates like whether langauages should support variable
  25. numbers of arguments.  Those of us who find them useful say yes but others
  26. complain that the overheads are too high.  But of course those who don't want
  27. them don't use them and hence occur no overheads and the rest of us put up
  28. with the extra overheads when we feel they are useful.  Should we have strong
  29. or weak typing? -- let the user decide, add more information into a language to
  30. give the user the control _they_ need.  "The customer is always right."  Just
  31. my opinion, feel free to disregard it.
  32.  
  33. Eddie
  34.